Nuprl Definition : bimplies
9,38
postcript
pdf
p
q
== (
p
)
q
latex
Definitions
p
q
,
b
FDL editor aliases
bimplies
origin
q == (
p) 
q q == (p) q qb